箙 (quiver)
同義語
指標 (signature)
仕樣 (specification)
理論 (theory)。形式理論 (formal theory)
interface
presentation。表示。表現
生成系 (generators。generating set。system of generators。system of generators and relations)。構文生成系 (syntactic generators)
computad
polygraph
多重有向 graph (multidigraph)
多重 graph (multigraph)
graph